Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision

نویسندگان

  • Pawel Jachowicz
  • Randy Goebel
چکیده

We provide a characterization of plan recognition in terms of a general framework of belief revision and non-monotonic reasoning. We adopt a generalization of classical belief revision to describe a competence model of plan recognition which supports dynamic change to all aspects of a plan recognition knowledge base, including background knowledge, action descriptions and their relationship to named plans, and accumulating sets of observations on agent actions. Our plan recognition model exploits the underlying belief revision model to assimilate observations, and answer queries about an agent's intended plans and actions. Supporting belief states are determined by observed actions and non-monotonic assumptions consistent with background knowledge and action descriptions. Our intent is to demonstrate the connections between a general plan recognition model and important concepts of belief revision and non-monotonic reasoning, to help establish a basis for improving the specii-cation and development of specialized plan recognition systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nonmonotonic Reasoning and Multiple Belief Revision

The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we de ne a nonmonotonic inference frame in which individual inference rules have been proposed in the literature but their combination as a system has not been investigated. It is shown that such a system is so strong that almost all the r...

متن کامل

Two Logical Theories of Plan Recognition

We present a logical approach to plan recognition that builds on Kautz’s theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level plans from a set of descriptions of observed, typically low-level, actions. Kautz’s approach is based on a formalization of the structural information contained in an abstraction/decomposition hierarchy of plan schemas: the i...

متن کامل

Revising Nonmonotonic Theories: The Case of Defeasible Logic

The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising f...

متن کامل

Nonmonotonic Reasoning in Probabilistics

In probabilistics reasoning at optimum entropy ME reasoning has proved to be a most sound and consistent method for inference This paper investigates its properties in the framework of nonmonotonic reasoning In particular we show that ME reasoning satis es cumulativity and loop and we focus on its connection to conditionals Finally we intro duce the notion of a universal inference operation to ...

متن کامل

Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic

The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997